A Role for Formal Methodists∗ Fred B. Schneider Department of Computer Science Cornell University Ithaca, New York[removed]November 11, 1993

Source URL: www.cs.cornell.edu

• Formal methods
• Formal sciences
• Logical syntax
• Philosophy of mathematics
• Mathematical logic
• Formal proof
• Model checking
• Formalism
• Mathematical proof
• Logic
• Mathematics
• Science

Microsoft Word - Draft Model Role and Responsibilities of Non Official Directors of CPSEs[removed]doc

Source URL: dpe.nic.in

• Private law
• Management
• Auditing
• Clause 49
• Audit committee
• Review of the role and effectiveness of non-executive directors
• Non-executive director
• Board of directors
• Sarbanes–Oxley Act
• Corporate governance
• Business
• Corporations law

Global Co-Operation in the New Millennium The 9th European Conference on Information Systems Bled, Slovenia, June 27-29, 2001 INTENTION DOES NOT ALWAYS MATTER: THE CONTINGENT ROLE OF HABIT ON IT USAGE BEHAVIOR

Source URL: is2.lse.ac.uk

• Mind
• Theory of planned behavior
• Marketing
• Technological change
• Theory of reasoned action
• Habit
• Technology acceptance model
• Attitude
• Motivation
• Behavior
• Ethology
• Human behavior

DRAFT[removed]BSR INCITS 359 American National Standard

Source URL: csrc.nist.gov

• Role-based access control
• Role hierarchy
• PERMIS
• NIST RBAC model
• Delegation in IT
• AGDLP
• Computer security
• Security
• Access control

Abstract The research project presented here is on the role of landscape amenities and amenity-related policies in local deve­ lopment. A regional adjustment model was applied to a dataset covering 2467

Source URL: www.wsl.ch

OGC world Law enforcement and public safety Information technology plays an increasingly important role in public safety and law enforcement, and most information technology applications

Source URL: www.geoconnexion.com

• Geo-enable
• Geospatial analysis
• .dwg
• Science
• Geography
• Measurement
• OGC Reference Model
• Geospatial information officer
• Cartography
• Geodesy
• Geographic information system

Beyond Mechanical Markets ASSET PRICE SWINGS, RISK, AND THE ROLE OF THE STATE Roman Frydman and Michael D. Goldberg

Source URL: www.econ.nyu.edu

• Economic theories
• Roman Frydman
• New classical macroeconomics
• Keynesian economics
• Edmund Phelps
• Economic model
• Rational expectations
• John Maynard Keynes
• Friedrich Hayek
• Economics
• British people
• Macroeconomics

Comment Stephen Cecchetti If we are to understand the role of debt, and especially government debt, in the economy, the starting point has to be macroeconomic models that admit financial frictions. And these frictions mu

Source URL: www.bis.org

• New classical macroeconomics
• New Keynesian economics
• Keynesian economics
• Dynamic stochastic general equilibrium
• Macroeconomic model
• General equilibrium theory
• Economic model
• Rational expectations
• Financial crisis
• Macroeconomics
• Economics
• Economic theories

Memory & Cognition 2009, 37 (3), [removed]doi:[removed]MC[removed]The role of learning data in causal reasoning about observations and interventions

Source URL: 141.14.165.6

• Philosophy of science
• Conditionals
• Statistical models
• Causality
• Graphical models
• Bayesian network
• Confounding
• Determinism
• Mental model
• Science
• Information
• Statistics

1 The Role of Variables It is generally supposed - by logicians and philosophers alike - that we now possess a perfectly good understanding of how variables work in the symbolism of logic and mathematics. Once Frege had

Source URL: philosophy.fas.nyu.edu

• Mathematics
• Predicate logic
• Philosophy of language
• Model theory
• Quantification
• First-order logic
• Expression
• Interpretation
• Function
• Logic
• Mathematical logic
• Semantics